<HTML><HEAD><TITLE>element(?Index, ++List, ?Value)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic_symbolic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>element(?Index, ++List, ?Value)</H1>
Value is the Index'th element of List
<DL>
<DT><EM>Index</EM></DT>
<DD>integer variable or integer
</DD>
<DT><EM>List</EM></DT>
<DD>list of domain values
</DD>
<DT><EM>Value</EM></DT>
<DD>domain variable or value
</DD>
</DL>
<H2>Description</H2>

	Constrains its arguments such that Value is the Index'th member
	of List.  This is implemented by mapping onto ic:element/3.
	All list elements and Value must be variables or values of the
	same domain.  If one or more of them are domain-less, they will
	be given the same domain as the others.

<H3>Modules</H3>
This predicate is sensitive to its module context (tool predicate, see @/2).
<H2>See Also</H2>
<A HREF="../../lib/ic/element-3.html">ic : element / 3</A>
</BODY></HTML>
